A Minimal OCL-based Profile for Model Transformation
نویسندگان
چکیده
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and construction of support tools. Currently, some of these aspects are being established and applied, while others are still in the process of definition. Consequently, it is necessary to make every effort to convert MDD and its concepts and related techniques into a coherent proposal, based on open standards, and supported by mature tools and techniques. Transformations among models require specific languages for their definition. These languages must have a formal base, for instance, a metamodel that supports them and allows for an automated treatment. This paper presents a declarative language for model transformations inspired on OMG (Object Management Group) standards. Our proposal is expected to be a minimal extension of the already existing OMG specifications, and it basically uses OCL (Object Constraint Language) language to specify transformation relations.
منابع مشابه
A Model Driven Approach for the Atomated Analysis of UML Class Diagrams
The Unified Modeling Language (UML) is widely considered as the defacto standard for the design of Object Oriented systems. UML class diagrams are used to depict the static structure of a system with its entities and the relationships between them. The Object Constraint Language (OCL) is a textual language based on first-order logic and can be used to define constraints on the elements of class...
متن کاملA robust wavelet based profile monitoring and change point detection using S-estimator and clustering
Some quality characteristics are well defined when treated as response variables and are related to some independent variables. This relationship is called a profile. Parametric models, such as linear models, may be used to model profiles. However, in practical applications due to the complexity of many processes it is not usually possible to model a process using parametric models.In these cas...
متن کاملOptimization Algorithms For OCL Compilers
Constraint handling is one of the most focused research field in both model validation and model transformation. Constraints are often simple topological conditions such as multiplicity checks, but the main strength of the constraint validation lies in the textual constraints defined in high-level languages. Object Constraint Language (OCL) is a wide-spread formalism to express model constraint...
متن کاملImplementing an OCL Compiler for .NET
Model-Driven Architecture standardized by OMG facilitates separating the platform-independent part (PIM) and the platform-specific part (PSM) of a system model. The platform-independent artifacts are mainly UML models created with CASE tools. Due to this separation, PIM specified by the developers can be reused across several implementation platforms of the software. PSM is ideally generated au...
متن کاملNull Considered Harmful (for Transformation Verification)
The use of explicit null and invalid values in OCL can lead to complex and hard-to-verify specifications. In addition, these values complicate the logic of OCL and of transformation languages that use OCL, making it difficult to provide effective verification support for these languages. We define an alternative technique for using OCL with UML and model transformations which avoids the use of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007